DEVS-Based Framework for Modeling/Simulation of Mobile Agent Systems

The paper presents the formal modeling and simulation framework for mobile agent systems . A Mobile Discrete Event System Specification (MDEVS) formalism is proposed to represent the dynamics of mobile agent systems . The MDEVS formalism supports the structural changes of systems that include creation, addition, deletion, and migration of models and the dynamic changes of couplings between models. AgentSim is developed, which is a simulation environment for mobile agent systems modeled by the MDEVS formalism. AgentSim is implemented using the contemporary mobile agent development toolkit – IBM’s Aglets Software Development Toolkits. An example demonstrates modeling and simulation of an e-commerce mobile agent system using the AgentSim environment.